Kalla, Priyank: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Strategies for solving the Boolean satisfiability problem using binary decision diagrams

Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski

Journal:

Journal of Systems Architecture

Year:

2001

Language:

english

File:

PDF, 164 KB

english, 2001

2

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Verification of arithmetic datapaths using polynomial function models and congruence solving

Tew, Neal, Kalla, Priyank, Shekhar, Namrata, Gopalakrishnan, Sivaram

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

3

Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs

Ciesielski, M., Priyank Kalla, Askar, S.

Journal:

IEEE Transactions on Computers

Year:

2006

Language:

english

File:

PDF, 1.90 MB

english, 2006

4

[ACM Press the 21st edition of the great lakes symposium - Lausanne, Switzerland (2011.05.02-2011.05.04)] Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '11 - Logic synthesis for integrated optics

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Year:

2011

Language:

english

File:

PDF, 668 KB

english, 2011

5

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Lv, Jinpeng, Kalla, Priyank, Enescu, Florian

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 363 KB

english, 2013

6

[IEEE 2012 25th International Conference on VLSI Design - Hyderabad, India (2012.01.7-2012.01.11)] 2012 25th International Conference on VLSI Design - Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques

Lv, Jinpeng, Kalla, Priyank

Year:

2012

Language:

english

File:

PDF, 181 KB

english, 2012

7

[IEEE 2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP) - Austin, TX, USA (2013.06.2-2013.06.2)] 2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP) - Channel routing for integrated optics

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Year:

2013

Language:

english

File:

PDF, 336 KB

english, 2013

8

[IEEE 2007 IEEE/ACM International Conference on Computer-Aided Design - San Jose, CA, USA (2007.11.4-2007.11.8)] 2007 IEEE/ACM International Conference on Computer-Aided Design - Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors

Sivaram Gopalakrishnan,, Priyank Kalla,, Meredith, M. Brandon, Enescu, Florian

Year:

2007

Language:

english

File:

PDF, 595 KB

english, 2007

9

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Optimization of Arithmetic Datapaths with Finite Word-Length Operands

Gopalakrishnan, Sivaram, Kalla, Priyank, Enescu, Florian

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

10

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands

Shekhar, Namrata, Kalla, Priyank, Meredith, M., Enescu, Florian

Year:

2006

Language:

english

File:

PDF, 153 KB

english, 2006

11

Crossing-Aware Channel Routing for Integrated Optics

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2014

Language:

english

File:

PDF, 2.78 MB

english, 2014

12

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Verification of composite Galois field multipliers over GF ((2m)n) using computer algebra techniques

Lv, Jinpeng, Kalla, Priyank, Enescu, Florian

Year:

2011

Language:

english

File:

PDF, 453 KB

english, 2011

13

[IEEE 2012 IEEE 55th International Midwest Symposium on Circuits and Systems (MWSCAS) - Boise, ID, USA (2012.08.5-2012.08.8)] 2012 IEEE 55th International Midwest Symposium on Circuits and Systems (MWSCAS) - A methodology for physical design automation for integrated optics

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Year:

2012

Language:

english

File:

PDF, 261 KB

english, 2012

14

[IEEE 2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS) - Columbus, OH, USA (2013.08.4-2013.08.7)] 2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS) - Crossing-aware channel routing for photonic waveguides

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Year:

2013

Language:

english

File:

PDF, 871 KB

english, 2013

15

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths

Durairaj, Vijay, Kalla, Priyank

Year:

2006

Language:

english

File:

PDF, 8.79 MB

english, 2006

16

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases

Pruss, Tim, Kalla, Priyank, Enescu, Florian

Year:

2014

Language:

english

File:

PDF, 203 KB

english, 2014

17

Optimization of polynomial datapaths using finite ring algebra

Gopalakrishnan, Sivaram, Kalla, Priyank

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2007

Language:

english

File:

PDF, 383 KB

english, 2007

18

BDD-based logic synthesis for LUT-based FPGAs

Vemuri, Navin, Kalla, Priyank, Tessier, Russell

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2002

Language:

english

File:

PDF, 371 KB

english, 2002

19

2009 ACM TODAES best paper award

Gopalakrishnan, Sivaram, Kalla, Priyank

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2009

Language:

english

File:

PDF, 29 KB

english, 2009

20

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - A BDD-based satisfiability infrastructure using the unate recursive paradigm

Kalla, Priyank, Zeng, Zhihong, Ciesielski, Maciej J., Huang, Chilai

Year:

2000

Language:

english

File:

PDF, 95 KB

english, 2000

21

[ACM Press the conference - Munich, Germany (1999..-..)] Proceedings of the conference on Design, automation and test in Europe - DATE '99 - Performance driven resynthesis by exploiting retiming-induced state register equivalence

Kalla, Priyank, Ciesielski, Maciej J.

Year:

1999

Language:

english

File:

PDF, 100 KB

english, 1999

22

[IEEE 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2014.11.2-2014.11.6)] 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Thermal-aware synthesis of integrated photonic ring resonators

Condrat, Christopher, Kalla, Priyank, Blair, Steve

Year:

2014

Language:

english

File:

PDF, 797 KB

english, 2014

23

Efficient Symbolic Computation for Word-Level Abstraction from Combinational Circuits for Verification over Finite Fields

Pruss, Tim, Kalla, Priyank, Enescu, Florian

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 345 KB

english, 2015

24

[IEEE 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Austin, TX, USA (2015.11.2-2015.11.6)] 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - DA vision 2015: From here to eternity

Potkonjak, Miodrag, Chen, Deming, Kalla, Priyank, Levitan, Steven P.

Year:

2015

Language:

english

File:

PDF, 645 KB

english, 2015

25

[IEEE 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID) - Kolkata, India (2016.1.4-2016.1.8)] 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID) - A Methodology for Thermal Characterization Abstraction of Integrated Opto-Electronic Layouts

Schlitt, Lawrence M., Kalla, Priyank, Blair, Steve

Year:

2016

Language:

english

File:

PDF, 689 KB

english, 2016

26

[IEEE 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) - San Francisco, CA, USA (2009.11.4-2009.11.6)] 2009 IEEE International High Level Design Validation and Test Workshop - Chairs' welcome message

Kalla, Priyank, Mishra, Prabhat

Year:

2009

Language:

english

File:

PDF, 66 KB

english, 2009

27

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Formal verification of arithmetic datapaths using algebraic geometry and symbolic computation

Year:

2015

Language:

english

File:

PDF, 990 KB

english, 2015

28

[IEEE 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA, USA (2016.10.7-2016.10.8)] 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Word-level traversal of finite state machines using algebraic geometry

Sun, Xiaojun, Kalla, Priyank, Enescu, Florian

Year:

2016

Language:

english

File:

PDF, 630 KB

english, 2016

29

Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits using the Unate Cube Set Algebra

Gupta, Utkarsh, Kalla, Priyank, Rao, Vikas

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 364 KB

english, 2018

30

[IEEE 2019 IEEE European Test Symposium (ETS) - Baden-Baden, Germany (2019.5.27-2019.5.31)] 2019 IEEE European Test Symposium (ETS) - Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases

Gupta, Utkarsh, Kalla, Priyank, Ilioaea, Irina, Enescu, Florian

Year:

2019

Language:

english

File:

PDF, 244 KB

english, 2019

31

[IEEE 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - Verona, Italy (2018.10.8-2018.10.10)] 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields

Gupta, Utkarsh, Ilioaea, Irina, Rao, Vikas, Srinath, Arpitha, Kalla, Priyank, Enescu, Florian

Year:

2018

Language:

english

File:

PDF, 780 KB

english, 2018

32

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques

Rao, Vikas, Gupta, Utkarsh, Ilioaea, Irina, Srinath, Arpitha, Kalla, Priyank, Enescu, Florian

Year:

2018

Language:

english

File:

PDF, 365 KB

english, 2018

33

[IEEE 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - Verona, Italy (2018.10.8-2018.10.10)] 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields

Gupta, Utkarsh, Ilioaea, Irina, Rao, Vikas, Srinath, Arpitha, Kalla, Priyank, Enescu, Florian

Year:

2018

File:

PDF, 780 KB

2018

34

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques

Rao, Vikas, Gupta, Utkarsh, Ilioaea, Irina, Srinath, Arpitha, Kalla, Priyank, Enescu, Florian

Year:

2018

File:

PDF, 365 KB

2018